Arithmetic, proof theory, and computational complexity

Författare
(Edited by Peter Clote and Jan Krajíček.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Clarendon Press 1993 USA, New York xii, 428 sidor.